Efficient analysis/simulation of complex SWN models: a structural approach

Petri nets structural techniques may be used not only to study interesting system properties, but also to manage state space explosion and discrete-event simulation complexity. In order to avoid net unfolding, a symbolic calculus for high level PN structural analysis is needed, directly working on net annotations. Colored Petri Nets structural analysis relies upon a common subset of functional operators. A language to denote structural relations in WN (a CPN flavor retaining expressive power) was recently introduced and proved to be closed under these operators. The paper shows an application of structural techniques for efficient performanceoriented analysis of a complex Stochastic WN model representing a P2P configuration management tool. Structural techniques are used in combination with symmetries specified through the SWN formalism.